Section: Dissemination

Teaching - Supervision - Juries

• Licence : Cyril Cohen, mathematics oral exam, 30 hours, Classes préparatoires aux grandes écoles

• Master : Laurent Théry gave a course at ENS Lyon (9 hours), a course at École des Mines (3 hours), and a course at University de Marseille (3 hours). Yves Bertot gave a one-week introductory course on Coq at University of Nice (21 hours). Enrico Tassi organized a one-week advanced course on Coq and Mathematical Components for students of ENS Lyon and University of Nice (30 hours). There were two instances of this school, in January and in November, teachers for this course were Enrico Tassi, Yves Bertot, Cyril Cohen, Laurence Rideau, and Laurent Théry.

• PhD in progress : Boris Djalal, started in October 2015, supervised by Yves Bertot and Cyril Cohen

• PhD in progress : Cécile Baritel-Ruet, started in October 2016, supervised by Yves Bertot and Benjamin Grégoire

• PhD in progress : Sophie Bernard, started in October 2016, supervised by Yves Bertot and Laurence Rideau

• PhD in progress : Damien Rouhling, started in October 2016, supervised by Yves Bertot and Cyril Cohen.